projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c91743) | patch
change name of option
authorJoey Hess <joeyh@joeyh.name>
Mon, 3 Oct 2022 17:02:11 +0000 (13:02 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 3 Oct 2022 17:02:11 +0000 (13:02 -0400)
commitc24ce026d83055d95a440262329115ebdc44205b
treed1ec2a3e279aa85d712fcf5b88a364ef7419c473tree | snapshot
parent9c9174329e25d50a766fe2a44cafac41b377ba34commit | diff
change name of option

See https://bugs.debian.org/885987
debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.